A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory
メモ
7910状態Turingマシンの停止性をZFC内では判定できない
.
4888状態Turingマシンの停止性が判定できるならGoldbach予想が解ける
5372状態Turingマシンの停止性が判定できるならRieman予想が解ける